منابع مشابه
An abductive event calculus planner
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negligible gap between high-level logical specification and practical implementation. This paper attempts to reinstate the ideal of planning via theorem proving in a modern guise. In particular, the paper shows that if we adopt ...
متن کاملThe Nature of Knowledge in an Abductive Event Calculus Planner
There are several works whose goal is to specify complete and sound planning systems based on general purpose theorem provers. Some planners implemented in this way can have a close correspondence with existing partial-ordered planning algorithms. To improve the efficiency of logic-based planners we would like to use some of the results achieved by the AI planning community over the past twenty...
متن کاملCHICA, an Abductive Planning System Based on Event Calculus
Sablon and Bruynooghe 94] Gunther Sablon and Maurice Bruynooghe. Using the event calculus to integrate planning and learning in an intelligent autonomous agent. In C.
متن کاملTemporal Reasoning with Abductive Event Calculus
We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main diierence between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by applying it to planning and solving well...
متن کاملNotes on Deductive and Abductive Planning in the Event Calculus 1 Domain Independent Event Calculus Axioms
The main purpose of these notes is to show how, at least from a semantic or conceptual point of view, and with a few simple modiications, recent versions of the Event Calculus can support both a deductive and an abductive view of planning in linear time. Speciically, two potential criticisms of planning with the Event Calculus are addressed; (i) the criticism that it is necessary to usèmeta-lev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 2000
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(99)00077-1